__________ |
News |
Most Recent |
• |
Submit Item |
• |
Submission Policy |
________ |
Scholarly Publications Database |
• |
Main Index |
________ |
Geographic Database |
• |
Main Index |
_______ |
Site Map |
• |
About This Site |
Publisher: Delft University (Journal information provided by DOAJ, under the terms of the Creative Commons Attribution-ShareAlike License).
Subject(s): satisfiability, Boolean reasoning, Boolean computing, Boolean modeling, logic
ISSN: 1574-0617
EISSN: -
Start Year: 2005
Language(s): English
Website: http://jsat.ewi.tudelft.nl/